Aanderaa–Karp–Rosenberg conjecture